Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
261	Today’s Big Adventure Linking as our first naming system • Naming is a very deep theme that comes up everywhere • Naming system: maps names to values Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2010-01-26 18:54:36 Compiler construction Memory management Programming language implementation C++ A.out Library Relocation Static library Data segment Computing Software Computer programming
262	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory
263	Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 16:31:37 Software engineering Instruction set architectures Instruction selection Code generation ALGOL 68 Intermediate language Hamming weight ARM architecture Programming language theory Computing Compiler construction
264	Test-Case Reduction for C Compiler Bugs John Regehr Yang Chen Pascal Cuoq Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-04-02 13:18:35 Programming language implementation Compilers Debugging Data types Compiler construction Software bug GNU Compiler Collection Undefined behavior Compilation error Computing Software engineering Computer programming
265	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
266	Software Construction Master Project Refactoring the Legacy Code EVU Master Thesis Add to Reading List Source URL: cs.au.dk - Date: 2013-10-03 06:16:49
267	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
268	2002 Paper 5 Question 6 Compiler Construction (a) Assuming a Java type is given to each variable, state a method by which an overloaded operator (such as +,- etc.) in a Java program can be determined to be an int, real Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:49 Cross-platform software C++ Data types Java programming language Source code C++ classes Java Subroutine C Computing Software engineering Computer programming
269	COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 5 Compiler Construction (DJG) (a) Define the following forms of variable: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Type theory Memory management Data types Procedural programming languages Variables Type system C Local variable Garbage collection Software engineering Computing Computer programming
270	Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-03-11 04:28:36 Compiler construction Programming language implementation Debugging HTML Validator ALGOL 68 Static single assignment form Structure Compiler Software engineering Computing Computer programming

UPDATE